Incremental DFS algorithms: a theoretical and experimental study

Depth First Search (DFS) tree is a fundamental data structure used for solving various graph problems. For a given graph G = (V,E) on n vertices and m edges, a DFS tree can be built in O(m + n) time. In the last 20 years, a few algorithms have been designed for maintaining a DFS tree efficiently under insertion of edges. For undirected graphs, there are two prominent algorithms, namely, ADFS1 and ADFS2 [ICALP14] that achieve total update time of O(n √ m) and O(n) respectively. For directed acyclic graphs, the only non-trivial algorithm, namely, FDFS [IPL97] requires total O(mn) update time. However, even after 20 years of this result, there does not exist any nontrivial incremental algorithm for a DFS tree in directed graphs with o(m) worst case bound. In this paper, we carry out extensive experimental and theoretical evaluation of the existing algorithms for maintaining incremental DFS in random graphs and real world graphs and derive the following interesting results. 1. For insertion of uniformly random sequence of ( n 2 ) edges, each of ADFS1, ADFS2 and FDFS perform equally well and are found to take Θ(n) time experimentally. This is quite surprising because the worst case bounds of ADFS1 and FDFS are greater than Θ(n) by a factor of √ m/n and m/n respectively, which we prove to be tight. We complement this experimental result by probabilistic analysis of these algorithms proving Õ(n) 1 bound on the time complexity. For this purpose, we derive results about the structure of a DFS tree in a random graph. These results are of independent interest in the domain of random graphs. 2. The insight that we developed about DFS tree in random graphs leads us to design an extremely simple algorithm for incremental DFS that works for both undirected and directed graphs. Moreover, this algorithm theoretically matches and experimentally outperforms the performance of the state-of-the-art algorithm in dense random graphs. Furthermore, it can also be used as a single-pass semi-streaming algorithm for computing incremental DFS and strong connectivity for random graphs using O(n log n) space. 3. Even for real world graphs, which are usually sparse, both ADFS1 and FDFS turn out to be much better than their theoretical bounds. Here again, we present two simple algorithms for incremental DFS for directed and undirected graphs respectively, which perform very well on real graphs. In fact our proposed algorithm for directed graphs almost always matches the performance of FDFS.